Model transformation - PDFSEARCH.IO - Document Search Engine

Model transformation
Results: 464

#	Item
31	ARTICULATED MOTION ANALYSIS FROM MOTION CAPTURE DATA J. Fayad1, A. Del Bue2 and P. M. Q. Aguiar3 1. ABSTRACT We present computational methods to extract and model different joints of a generic Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2008-07-10 09:35:16 Linear algebra Matrices Transformation Rotational symmetry Rotation Matrix Singular value decomposition Rotation matrix Rotation around a fixed axis Rigid body Rank Transformation matrix
32	First version of the DSL based on the model developed in WP2 Deliverable 3.2 Nature : Deliverable Due date : Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Unified Modeling Language ISO standards Systems engineering Project management Deliverable ATLAS Transformation Language Domain-specific language MANCOOSI XML Metadata Interchange Metamodeling Package manager Meta-Object Facility
33	Rob Walker Consultancy Technical Guidance for the INSPIRE Schema Transformation Network Service EC JRC Contract Add to Reading List Source URL: www.ideia.azores.gov.pt Language: English - Date: 2012-02-23 11:41:48 Markup languages ISO standards Data management Schema matching XML Schema GML application schema Schema Data model Physical schema Geography Markup Language National Information Exchange Model
34	Rob Walker Consultancy Technical Guidance for the INSPIRE Schema Transformation Network Service EC JRC Contract Add to Reading List Source URL: ideia.azores.gov.pt Language: English - Date: 2012-02-23 11:41:48 Markup languages ISO standards Data management Schema matching XML Schema GML application schema Schema Data model Physical schema Geography Markup Language National Information Exchange Model
35	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
36	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
37	Automating Co-evolution in Model-Driven Engineering∗ Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio Dipartimento di Informatica Universit`a degli Studi di L’Aquila I–67100 L’Aquila, Italy Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Unified Modeling Language Metamodeling Metaclass Meta-Object Facility Object Process Methodology Model transformation Eclipse Modeling Framework Object Management Group KM3 Transformation language
38	APPENDIXB: SCSD Implementation Pion for the Transformation Model at Grant Middle School APPENDIX B: TRANSFORMATION MODEL LEA Implementation Plan for the Transformation Model Directions: Please complete the following fon Add to Reading List Source URL: www.syracusecityschools.com Language: English - Date: 2013-02-06 09:01:43 Pedagogy Philosophy of education Understanding by Design Behavior modification Behaviorism Education Response to intervention
39	Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]: Add to Reading List Source URL: www.wolframfoundation.org Language: English - Date: 2015-12-15 12:07:17 General topology Mathematics ACL2 Lisp Compact space Automated theorem proving Software Mathematical logic Model theory
40	Statistical inference for noisy nonlinear ecological dynamic systems Add to Reading List Source URL: www.maths.lth.se Language: English - Date: 2015-03-17 08:42:39 Statistical theory Probability and statistics Statistics Maximum likelihood estimation Stable distributions Bayesian statistics Statistical tests Model selection Likelihood function Estimation of covariance matrices Data transformation Likelihood-ratio test